Towards an Open Architecture for LDL

نویسندگان

  • Danette Chimenti
  • Ruben Gamboa
  • Ravi Krishnamurthy
چکیده

We extend LDL to allow programs to call external procedures and vice versa. This extension allows the modularization of LDL, since external predicates are equivalent to external procedures written in LDL. External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain applicable. To avoid computing infinite relations, wellformedness conditions for programs in extended LDL are given. The traditional optimization framework can still be used; it is only necessary to define a new set of cost functions capable of handling the infinite relations. The problem of interfacing LDL programs with external procedures—exchanging complex objects and returning multiple solutions—is discussed. Thus, we provide a general framework to allow logic programs to interact with external procedures without sacrificing amenities such as optimization, safety, etc. This approach forms the basis for the implementation of externals and modules in the LDL compiler and optimizer at MCC.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards on Open Architecture for LDL

We extend LDL to allow programs to call external procedures and vice versa. This extension allows the mod-ularization of LDL, since external predicates are equivalent to external procedures written in LDL. External predicates are viewed as innnite relations so that the traditional semantics of logic programs remain applicable. To avoid computing innnite relations, well-formedness conditions for...

متن کامل

Explaining the effective features of open and semi-open spaces in availability and increase of social interactions in residential complexes

By increasing house demand for living, the urban development planning has turned to towers, which provides a platform for the growth of the city, regardless of the traditional Iranian's architecture. Among the vital elements in traditional architecture, there are a variety of open and semi-open spaces such as the central courtyard, pool, veranda, balcony, etc that have been provided the needs f...

متن کامل

Lost Space Renewal; a Reborn of an Urban Water Body

Due to rapid growth of urbanization and economic demand, we are continuously losing our fields,our free lands, open sky, ponds, lakes; actually our breathing spaces. Sometimes for zoning policies, migration ortransferal of a particular business or activity, a place like waterfronts, body of water, military or industrial sites can lostits importance, kept vacant and become a dead place. These ar...

متن کامل

The Optimization of Open- Space Based on Social Theory in Iran

The usage of social theories in the human-built environment caused to enhance life quality. It may consist of human needs in residential areas. Sometimes, building codes can help to exist accepted life space, but the building codes do not have basic theory such as actual open space in residential plots. The study was an attempt to represent a new approach in urban land subdivision and the relat...

متن کامل

Towards an Open Architecture for IcDl

We extend LDl to allow programs to call external procedures and vice versa. This extension allows the modularization of L Dl, since external predicates are equivalent to external procedures written in L3 DL. External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain ap plicable. To avoid computing infinite relations, wellformedness conditions...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1989